Requirements, specifications, and minimal refinement
نویسندگان
چکیده
منابع مشابه
Requirements, specifications, and minimal refinement
Refinement is usually employed to produce more concrete versions of a specification, or to add new requirements to it. However, during specification revision one may over-refine, thus incorporating unnecessary requirements. In this paper, we argue that this process can be formalised by the notion of minimal refinements, hence avoiding over-refinement, and prove that this definition is well-beha...
متن کاملFrom Stakeholder Requirements to Formal Specifications Through Refinement
[Context and motivation] Stakeholder requirements are notoriously informal, vague, ambiguous and often unattainable. The requirements engineering problem is to formalize these requirements and then transform them through a systematic process into a formal specification that can be handed over to designers for downstream development. [Question/problem] This paper proposes a framework for transfo...
متن کاملTestable Requirements and Specifications
A design specification is the artifact intermediate between implemented code and the customer requirements. In this paper we argue that customer requirements and design specifications should be testable and testable early in the design cycle leading to early detection of requirement and specification errors. The core idea behind early testable requirements is that the problem is described befor...
متن کاملComposition and Refinement for Partial Object Specifications
For the specification and development of large, distributed, and object-oriented systems, it is often advocated that individual components should be developed in an aspectwise manner, where separate descriptions depict various roles or viewpoints of the objects considered. The introduction of such partial specifications requires extra care when reasoning about systems as several specifications ...
متن کاملRefinement and Consistency of Timed Modal Specifications
In the application domain of component-based system design, developing theories which support compositional reasoning is notoriously challenging. We define timed modal specifications, an automata-based formalism combining modal and timed aspects. As a stepping stone to compositional approaches of timed systems, we define the notions of refinement and consistency, and establish their decidability.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80550-4